Faithful π-nets.

Old faithful.

0 Observation of the φ → π + π − π + π − Decay

Using 11.6 pb of data collected in the energy range 0.984–1.06 GeV by CMD-2 at VEPP-2M, the cross section of the reaction e+e− → π+π−π+π− has been studied. For the first time an interference pattern was observed in the energy dependence of the cross section near the φ meson. The branching ratio of the φ → π+π−π+π− decay double suppressed by the G-parity and OZI rule is measured Br(φ → ππππ) = (...

Faithful Squashed Entanglement

Squashed entanglement is a measure for the entanglement of bipartite quantum states. In this paper we present a lower bound for squashed entanglement in terms of a distance to the set of separable states. This implies that squashed entanglement is faithful, that is, it is strictly positive if and only if the state is entangled. We derive the lower bound on squashed entanglement from a lower bou...

Cytosine Methylation: Remaining Faithful

DNA methyltransferase-1 (DNMT1) has a higher specific activity on hemimethylated DNA than on unmethylated DNA, but this preference is too small to explain the faithful mitotic inheritance of genomic methylation patterns. New genetic studies in plants and mammals have identified a novel factor that increases the fidelity of maintenance methylation.

Towards Verified Faithful Simulation

This paper presents an approach to construct a verified virtual prototyping framework of embedded software. The machine code executed on a simulated target architecture can be proven to provide the same results as the real hardware, and the proof is verified with a theorem prover. The method consists in proving each instruction of the instruction set independently, by proving that the execution...